d{-}empty()($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$